0.10/0.34 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 3.96/4.19 % Command : run_portfolio.sh /export/starexec/sandbox2/benchmark/theBenchmark.p /export/starexec/sandbox2/tmp/tmp.11y5U4zFXF 3.97/4.40 % Computer : n027.cluster.edu 3.97/4.40 % Model : x86_64 x86_64 3.97/4.40 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 3.97/4.40 % Memory : 8042.1875MB 3.97/4.40 % OS : Linux 3.10.0-693.el7.x86_64 3.97/4.40 % CPULimit : 960 3.97/4.40 % DateTime : Thu Jul 2 14:31:54 EDT 2020 3.97/4.40 % CPUTime : 3.97/4.40 % Running portfolio for 120 s 3.97/4.40 % File : /export/starexec/sandbox2/benchmark/theBenchmark.p 3.97/4.40 % Number of cores: 8 3.97/4.40 % Python version: Python 3.6.8 3.97/4.40 % Running in HO mode 4.03/4.63 % Estimated wc time : 1286 4.03/4.63 % Estimated cpu time (7 cpus) : 183.71428571428572 4.03/4.70 % /export/starexec/sandbox2/solver/bin/lams/s6.sh running for 21s 4.03/4.73 % /export/starexec/sandbox2/solver/bin/lams/new_b3.2.norw.sh running for 15s 4.03/4.74 % /export/starexec/sandbox2/solver/bin/lams/b.rpo.sh running for 21s 4.03/4.75 % /export/starexec/sandbox2/solver/bin/lams/s6.ds.sh running for 10s 4.03/4.75 % /export/starexec/sandbox2/solver/bin/lams/c.s.2.sh running for 68s 4.03/4.75 % /export/starexec/sandbox2/solver/bin/lams/c.easy.sh running for 26s 4.03/4.76 % /export/starexec/sandbox2/solver/bin/lams/old_b3.avatar.sh running for 15s 73.91/14.82 % /export/starexec/sandbox2/solver/bin/lams/old_sp2.sh running for 17s 108.61/20.08 % /export/starexec/sandbox2/solver/bin/lams/b.sh running for 31s 109.61/20.25 % /export/starexec/sandbox2/solver/bin/lams/sh1.sh running for 26s 151.54/26.33 % /export/starexec/sandbox2/solver/bin/lams/b.lsimp.sh running for 17s 167.98/29.27 % /export/starexec/sandbox2/solver/bin/lams/b.split.sh running for 31s 177.25/30.79 % /export/starexec/sandbox2/solver/bin/lams/s4.sh running for 15s 190.01/32.92 % /export/starexec/sandbox2/solver/bin/lams/b.rw.sh running for 26s 263.19/43.55 % /export/starexec/sandbox2/solver/bin/lams/c_ic.sh running for 42s 284.30/46.88 % /export/starexec/sandbox2/solver/bin/lams/s1.f.sh running for 15s 290.46/47.92 % /export/starexec/sandbox2/solver/bin/lams/c.preprocess2.sh running for 21s 312.53/51.11 % /export/starexec/sandbox2/solver/bin/lams/sh.or.sh running for 26s 368.65/59.27 % /export/starexec/sandbox2/solver/bin/lams/new.cs3.comb.sh running for 18s 375.34/60.29 % /export/starexec/sandbox2/solver/bin/lams/old_b2.sh running for 31s 387.20/61.92 % /export/starexec/sandbox2/solver/bin/lams/sp5.sh running for 36s 436.61/69.09 % /export/starexec/sandbox2/solver/bin/lams/b2.sh running for 15s 488.37/77.19 % /export/starexec/sandbox2/solver/bin/lams/b.lcnf.od.sh running for 26s 495.20/78.64 % /export/starexec/sandbox2/solver/bin/lams/c.s.sh running for 36s 516.62/82.92 % /export/starexec/sandbox2/solver/bin/lams/b3.sh running for 26s 523.51/84.13 % /export/starexec/sandbox2/solver/bin/lams/cmb.lcnf.sh running for 10s 529.79/85.25 % /export/starexec/sandbox2/solver/bin/lams/sh.eqenc.sh running for 17s 541.05/87.13 % /export/starexec/sandbox2/solver/bin/lams/p.ll.e2.sh running for 17s 570.48/91.35 % /export/starexec/sandbox2/solver/bin/lams/c.cmb.sh running for 21s 589.47/94.15 % /export/starexec/sandbox2/solver/bin/lams/cs1.sh running for 47s 617.01/98.13 % /export/starexec/sandbox2/solver/bin/lams/old_s4.sh running for 36s 645.45/102.27 % /export/starexec/sandbox2/solver/bin/lams/old.cs2combs.sh running for 23s 659.11/104.17 % /export/starexec/sandbox2/solver/bin/lams/b5.sh running for 7s 692.12/108.95 % /export/starexec/sandbox2/solver/bin/lams/eignore3.sh running for 36s 708.41/111.21 % /export/starexec/sandbox2/solver/bin/lams/e_lift.sh running for 38s 715.80/112.37 % /export/starexec/sandbox2/solver/bin/lams/e_lift_late.sh running for 31s 752.37/118.20 % /export/starexec/sandbox2/solver/bin/lams/s6.2.sh running for 10s 766.06/120.19 /usr/lib64/python3.6/multiprocessing/semaphore_tracker.py:55: UserWarning: semaphore_tracker: process died unexpectedly, relaunching. Some semaphores might leak. 766.06/120.19 warnings.warn('semaphore_tracker: process died unexpectedly, ' 766.06/120.20 Alarm clock 766.06/120.20 % Zipperpin 1.5 exiting 766.06/120.21 EOF